@proceedings{DasTru_j2011, editor = {J{\"u}rgen~Dassow and Bianca~Truthe}, title = {{21. Theorietag "`Automaten und Formale Sprachen"', Allrode (Harz), 27.--29.9.2011, Tagungsband}}, year = 2011, publisher = fin }